81. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
82. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
پدیدآورنده : Holger Giese ... ]et al.[
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
رده :
TK
7895
.
E42M624
2007
83. Modelling Foundations and Applications.
پدیدآورنده : \ Gabriele Taentzer , Francis Bordeleau (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer-aided software engineering -- Congresses.,Software engineering.,مهندسی به کمک نرم افزار کامپیوتر -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
M6
2015
E-Book
,
84. Models in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
85. Multicore Software Engineering, Performance, and Tools
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگرهها,چندپردازندهها -- کنگرهها,برنامهنویسی موازی -- کنگرهها
رده :
E-Book
,
86. NETWORKING 2012 Workshops
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer networks -- Congresses,Computer networks -- Management -- Congresses,Software engineering,شبکههای کامپیوتری -- کنگرهها,شبکههای کامپیوتری -- مدیریت -- کنگرهها,مهندسی نرم افزار
رده :
E-Book
,
87. New modeling concepts for today's software processes
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; Softwareentwicklung. ; swd. ; Prozessmanagement. ; swd. ; Leistungsbewertung. ; swd. ;
88. New trends in software methodologies, tools and techniques: proceedings of Lyee W03, the second International Workshop on Lyee Methodology
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Reliability
رده :
QA
76
.
758
.
I577
2003
89. New trends in software methodologies, tools and techniques :proceedings of the fourth SoMeTW 05
پدیدآورنده : edited by Hamido Fujita and Mohamed Mejri
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence,Congresses ، Computer software - Development
رده :
QA
76
.
758
.
I5
90. On the Move to Meaningful Internet Systems: OTM 2012 Workshops
پدیدآورنده : / Pilar Herrero...[et al.] (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer networks--Congresses,Internet--Congresses,Cloud computing--Congresses,Software engineering--Congresses
رده :
TK5105
.
3
.
O86
2012
91. Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : aided software engineering ; Congresses. ; -Computer
92. PRIMA 2015
پدیدآورنده : [Edited by] Qingliang Chen...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a04,a04,Multiagent systems -- Congresses.,Software engineering.,سامانههای چند عاملی -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
76
..
I58P7
2015
E-Book
,
93. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,علوم کامپیوتر -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
94. Proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N373a
95. Proceedings Sixth International Conference on Tools With Artificial Intelligence November 6-9, 1994 New Orleans, Louisiana
پدیدآورنده : Sponsored by IEEE Computer Society
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Computer architecture - Congresses , Programming languages )Electronic computers( - Congresses , Algorithms - Congresses
رده :
Q
336
.
I356
1994
96. Proceedings: Software Technology and Engineering Practice, STEP'99, August 30-September 2, 1999, Pittsburgh, PA, USA
پدیدآورنده : International Workshop on Software Technology and Engineering Practice )9th :9991 :Pittsburgh, PA.(,sponsored by IWCASE-International Workshop on CASE ... ]et al.[ ; edited by Scott Tilley, June Verner
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer software- Congresses,، Software engineering- Congresses,، Computer-aided software engineering- Congresses
رده :
QA
76
.
758
.
I75
1999
97. Proceedings: Software Technology and Engineering Practice, STEP'99, August 30-September 2, 1999, Pittsburgh, PA, USA
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer software,Congresses ، Software engineering,Congresses ، Computer-aided software engineering
رده :
QA
76
.
758
.
I75
1999
98. Proceedings, Tenth International Symposium on System Synthesis: September 17-19, 1997, Antwerp, Belgium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، System design,Congresses ، Systems software,Congresses ، Computer-aided software engineering
رده :
QA
76
.
9
.
S88
.
I5825
1997
99. Proceedings: The Eighih Knowledge- based Software Engineering Conference
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
100. Proceedings : The Ninth Knowledge-based Software Engineering Conference September 20-23, 1994 Monterey, California
پدیدآورنده : sponsored by Rome Laboratory, USAF; in cooperation with American Association for Artificial Intelligence )AAAI(, Association for Computing Machinery )ACM SIGART(, IEEE Computer Society
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Software engineering - Congresses , Expert systems )Computer science( - Congresses
رده :
QA
76
.
758
.
K66
1994